Software testing - PDFSEARCH.IO - Document Search Engine

Software testing
Results: 9347

#	Item
601	Extracting Frame Conditions from Operation Contracts Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-17 08:36:26 Theoretical computer science Formal methods Software engineering Logic in computer science Postcondition Object Constraint Language Causality Statistics Statistical hypothesis testing Invariant
602	Emulab Federation Design “Levels” Federation of Emulabs and Relevant New Development Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2006-12-12 16:29:47 Software testing Software engineering Computing Testbed PlanetLab Exception handling Code injection Form
603	Locally Finding and Testing Dense Bipartite-like Subgraphs Pan Peng State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, P.R.China and Add to Reading List Source URL: www.panpeng.me Language: English - Date: 2013-01-07 06:50:12
604	AppCheck Build a More Resilient World KEY APPCHECK FEATURES: • Scan Anything in Minutes Add to Reading List Source URL: www.codenomicon.com Language: English - Date: 2016-03-02 04:58:14 Software development Computer security Cyberwarfare Software testing Computer network security Software Bill of Materials Software development process Software project management Supply chain management Vulnerability Codenomicon Patch
605	Emulab Federation Preliminary Design Robert Ricci with Jay Lepreau, Leigh Stoller, Mike Hibler University of Utah Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2006-12-12 16:18:58 Software testing Testbed PlanetLab Remote experiment Elab
606	Penetration TestingPenetration Testing Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2010-12-07 19:50:06 Software Computer security Computing Software testing Computer security software Computer network security Hacking Nmap Nessus Port scanner Metasploit Project Penetration test
607	888: LLVM Week 5 - LLVM testing infrastructure Tobias Grosser Advertisement - clang complete Add to Reading List Source URL: grosser.es Language: English - Date: 2015-08-09 09:46:09 Software Computer programming Compilers LLVM Clang Object-oriented programming languages Intermediate representation Printf format string Objective-C Infinite loop
608	Relative Vulnerability: An Empirical Assurance Metric Crispin Cowan, PhD CTO, Immunix Add to Reading List Source URL: adam.shostack.org Language: English - Date: 2014-06-11 11:49:30 Cyberwarfare Computer security Security Computer network security Software testing Software bugs Hacking Vulnerability Buffer overflow protection Exploit Attack
609	Concurrency Attacks Junfeng Yang, Ang Cui, Sal Stolfo, Simha Sethumadhavan {junfeng, ang, sal, simha}cs.columbia.edu Department of Computer Science Columbia University Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:32 Concurrent computing Software bugs Computer memory Software testing Edsger W. Dijkstra Concurrency Code injection Computer security Go Lock Thread Parallel computing
610	CERT-FI & Abuse Situation Awareness Case Study BACKGROUND CERT-FI is the Finnish national computer security incident response team whose task is to promote security in the information Add to Reading List Source URL: www.codenomicon.com Language: English - Date: 2016-03-02 04:58:14 Security Prevention Computer security Crime prevention Cryptography Information governance National security Codenomicon Software testing Cert Information security AbuseHelper

UPDATE